- 双语例句 更多例句
1、
So, this paper addresses how to define program semantics on dynamic data structures.
本文针对这种情况，研究了如何正确刻划动态数据结构的程序语义问题。
互联网摘选
2、
3、
基于变量抽象，我们定义了部分最强后置条件，进而定义了程序的保守近似语义。
互联网摘选
4、
5、
部分最弱前置条件是程序保守近似语义的另一种表示方法，同样基于变量抽象定义。
互联网摘选
- 相关词组
- uranium enrichment program铀浓缩计划;
- program directorn.节目部主任，计划主持人;
- executive development program主管发展计划;
- united nations development program网络联合国开发计划署; 开发计划署; 联合国发展计划署; 联合国发展计划; 联合国开发计划处;
- program musicn.标题音乐，描写音乐;
- flexible benefits program弹性福利计划;
- pilot program试点计划;
- World Food Program世界粮食计划署
- United Nations Development Program联合国开发计划署;
- attitude awareness and change program态度意识和改变计划;态度认知与改动计划
- anti-virus program防毒程序;
- problem program问题程序;
- sustaining programn.<美>非营业性的独立节目;非商业节目;
- modularized program模块化程序;
- program behavior model程序功效模型;
- jap-job analysis program工作分析程序法;
- drawing program放矿计划;
- TV programn.电视节目;
- map programun.变换程序；分布图程序
- tv programn.电视节目;
- 今日热词
- 热门搜索
- possibly adv.可能地;也许，或许;敢是;容许;
- windows n.窗;（计算机荧屏的）窗口;窗玻璃;墙上（或信封等上）开的窗形的口;window的名词复数
- 塔罗牌 Tarot Card; Tarot
- jog v.慢跑(尤指锻炼);慢步长跑;(偶然地)轻击;轻碰;轻推，轻撞;n.轻推;慢跑(尤指锻炼);轻碰;轻击
- plus prep.加;外加;conj. 而且;
- afraid adj.害怕的;担心的;恐怕;畏惧，害怕;
- among prep. （表示牵涉）经过;（表示位置）处在…中;（表示范围）在…之内;（表示所属）为…所特有;
- for what I care 与我无关;
- dignity n.庄严;高贵;尊严;自尊;
- wealth n.财富，财产;大量，丰富;
- Windows API 应用程序接口;应用编程接口;程序设计;windows应用程序编程接口;
- refreshments n.茶点( refreshment的名词复数 );点心;（精力的）恢复;精神爽快;
